searchbar: ignore GDK_KEY_Menu in handle_event()

https://bugzilla.gnome.org/show_bug.cgi?id=705524

diff --git a/gtk/gtksearchbar.c b/gtk/gtksearchbar.c
index d1c0eb242323df91e11baa49ab24451d1b97173d..bf5f2a969d48d9c208a49593031f786a786d6edc 100644 (file)
--- a/gtk/gtksearchbar.c
+++ b/gtk/gtksearchbar.c
@@ -225,7 +225,8 @@ gtk_search_bar_handle_event (GtkSearchBar *bar,
   if (priv->reveal_child ||
       !gdk_event_get_keyval (event, &keyval) ||
       is_keynav_event (event, keyval) ||
-      keyval == GDK_KEY_space)
+      keyval == GDK_KEY_space ||
+      keyval == GDK_KEY_Menu)
     return GDK_EVENT_PROPAGATE;
 
   if (!gtk_widget_get_realized (priv->entry))